Data types

Results: 6238



#Item
611Computing / Data types / Analytic functions / Exponentials / Sage / Arbitrary-precision arithmetic / Floating point / MPFR / Rounding / Mathematics / Computer arithmetic / Mathematical software

Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.7 The Sage Development Team

Add to Reading List

Source URL: doc.sagemath.org

Language: English - Date: 2015-06-24 05:21:38
612Object-oriented programming / Procedural programming languages / Cross-platform software / Data types / Fortran / SQL / Interface / R / C / Computing / Software engineering / Computer programming

R and the World: Interfaces between Languages

Add to Reading List

Source URL: www-conf.slac.stanford.edu

Language: English - Date: 2015-05-19 19:28:31
613Data types / C++ / Type theory / Computer languages / Procedural programming languages / TTCN-3 / TTCN / Type system / Subtype polymorphism / Software engineering / Computing / Computer programming

ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language

Add to Reading List

Source URL: www.etsi.org

Language: English - Date: 2015-06-01 09:05:08
614Functional languages / Type theory / Procedural programming languages / Functional programming / Data types / Agda / Standard ML / Type class / Map / Software engineering / Computing / Computer programming

Hasochism The Pleasure and Pain of Dependently Typed Haskell Programming Sam Lindley Conor McBride

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2013-07-26 13:01:51
615Mathematics / Programming language theory / Object-oriented programming / Polymorphism / Program analysis / Type system / Symbol / Structure / Subtype polymorphism / Type theory / Data types / Software engineering

A Type System for Components? Ornela Dardha1 1 Elena Giachino1

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2014-11-21 06:03:26
616Data types / Type theory / Procedural programming languages / Enumerated type / C / Void type / ALGOL 68 / Telephone number mapping / Bit field / Computing / Programming language theory / Software engineering

OpenGL 4.2 API Reference Card Page 1 OpenGL® is the only cross-platform graphics API that enables developers of software for PC, workstation, and supercomputing hardware to create high-performance,

Add to Reading List

Source URL: www.khronos.org

Language: English - Date: 2014-04-08 09:35:36
617Programming language theory / Data types / Algebraic data type / Enumerated type / Type constructor / Constructor / Primitive data type / ALGOL 68 / C++ classes / Software engineering / Type theory / Computing

A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed.

Add to Reading List

Source URL: www.webber-labs.com

Language: English - Date: 2010-08-18 22:43:58
618Functional programming / Type theory / Data types / Higher-order functions / Generic programming / Type class / Bidirectionalization / Function / ALGOL 68 / Software engineering / Computing / Computer programming

Semantic Bidirectionalization Revisited Meng Wang Shayan Najd Computer Science and Engineering

Add to Reading List

Source URL: kar.kent.ac.uk

Language: English - Date: 2015-02-28 19:38:47
619Scripting languages / Data types / Python / Object-oriented programming / C / Setjmp.h / PyPy / Iterator / Pointer / Computing / Software engineering / Computer programming

Micro Python: Shrinking Python down to run on a microcontroller Damien P. George DAMTP & The Cavendish, University of Cambridge

Add to Reading List

Source URL: micropython.org

Language: English - Date: 2014-10-01 12:25:33
620Data types / Fortran / Intel Fortran Compiler / Parallel computing / OpenMP / Intel Core / Array data type / Array programming / Reference / Computing / Software engineering / Computer programming

New Parallel Programming Features in Intel (Visual) Fortran Composer XE ®

Add to Reading List

Source URL: d3f8ykwhia686p.cloudfront.net

Language: English - Date: 2012-09-10 11:57:52
UPDATE